home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 007 / examples.arc / EXAMPL06.PRO < prev    next >
Text File  |  1986-10-07  |  330b  |  19 lines
  1. /* Program 6 */
  2. /*
  3.   Goals to enter are on page 34 of the manual.
  4. */
  5.  
  6. domains
  7.     person, hobby = symbol
  8.  
  9. predicates
  10.     likes(person,hobby)
  11.  
  12. clauses
  13.     likes(ellen,reading).
  14.     likes(john,computers).
  15.     likes(john,badminton).
  16.     likes(leonard,badminton).
  17.     likes(eric,swimming).
  18.     likes(eric,reading).
  19.